Math 4231-01 Fall 2013 #23779

Predicate Logic

This course is an introductory course in symbolic logic. The content covers the development of propositional logic including symbolism, the concept of proof, and the use of proof rules and the predicate calculus introducing quantifiers together with proof rules using qualtifiers.

The primary purpose of the class is to enable the students to understand the detailed techniques used in Mathematics proofs.

Description of the Section

Important Dates

Assignments

Back to home page

---

This page updated by Frank Matthews Aug. 22, 2013